/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#10=BAXM30/FONT#11=ZERO30/FONT#5=MICR25/FONT#6=NGB30
␈↓ ↓H␈↓¬␈↓ α≡OFFICE MEMORANDUM  *  STANFORD UNIVERSITY  *  OFFICE MEMORANDUM

␈↓ ↓H␈↓ε␈↓ ∧@COMPUTER SCIENCE DEPARTMENT

␈↓ ↓H␈↓α␈↓ ¬UFebruary 26, 1979




␈↓ ↓H␈↓αTo:␈↓ αH␈↓John Perry, Philosophy Department

␈↓ ↓H␈↓␈↓αFrom:␈↓ αH␈↓John McCarthy, Professor of Computer Science

␈↓ ↓H␈↓αSubject:␈↓ αH␈↓CS-226 Epistemological Problems of Arti≡cial Intelligence

␈↓ ↓H␈↓You␈αmay␈αbe␈αinterested␈αin␈αcross-listing␈αthe␈αfollowing␈αcourse␈αin␈αphilosophy.␈α I␈αdiscussed␈αit␈αwith␈αPat
␈↓ ↓H␈↓about two years ago, but I didn't get around to rewriting the catalog description.

␈↓ ↓H␈↓226.␈α∩Epistemological␈α∩Problems␈α⊃of␈α∩Arti≡cial␈α∩Intelligence␈α∩-␈α⊃Formalisms␈α∩for␈α∩representing␈α∩what␈α⊃a
␈↓ ↓H␈↓general␈α∂intelligent␈α∂program␈α∂must␈α∂know␈α∂about␈α∂the␈α∂world␈α∂including␈α∂facts␈α∂about␈α∂causality,␈α∞ability,
␈↓ ↓H␈↓knowledge␈α⊃and␈α⊃action.␈α⊃ Modes␈α⊃of␈α⊃rigorous␈α⊃and␈α⊃conjectural␈α⊃reasoning␈α⊃for␈α∩computer␈α⊃programs.
␈↓ ↓H␈↓Connections␈α⊗with␈α∃philosophy,␈α⊗especially␈α∃philosophical␈α⊗logic.␈α∃ Related␈α⊗material␈α∃in␈α⊗logic␈α∃and
␈↓ ↓H␈↓elementary set theory.